Displayed, Not Played
نویسندگان
چکیده
منابع مشابه
Displayed Categories
We introduce and develop the notion of displayed categories. A displayed category over a category C is equivalent to ‘a category D and functor F : D → C’, but instead of having a single collection of ‘objects of D’ with a map to the objects of C, the objects are given as a family indexed by objects of C, and similarly for the morphisms. This encapsulates a common way of building categories in p...
متن کاملThe Role Played
Information systems development needs to be taught using an expeChris Cope riential approach. This is difficult when introductory classes are large and the stuPat Horan dents have no knowledge of the complex social and business environments in which Department of Information Technology information systems are developed. This paper presents a teaching approach called aLa Trobe University, BendiO...
متن کاملGames Played on Networks
This chapter studies games played on fixed networks. These games capture a wide variety of economic settings including local public goods, peer effects, and technology adoption. We establish a common analytical framework to study a wide game class. We unearth new connections between games in the literature and in particular between those with binary actions, like coordination and best-shot game...
متن کاملLattice Logic Properly Displayed
We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Properness (i.e. closure under uniform substitution of all parametric parts in rules) is the main interest and added value of the present proposal, and allows for the smoothest Belnap-style proof of cut-elimination. Our proposal ...
متن کاملLinear Logic Properly Displayed
We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design, we introduce a variant of Lambek calculus with exponentials, aimed at capturing the controlled application of exchange and associativity. Properness (i.e. clo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Anthropology News
سال: 2017
ISSN: 1541-6151
DOI: 10.1111/an.339